Non-existence of generic elementary embeddings into the ground model
نویسنده
چکیده
Kenneth Kunen showed that there is no non-trivial elementary embedding of the universe V into itself.We generalize this theorem by proving that there is no non-trivialgeneric elementary embedding of V into itself.
منابع مشابه
Virtual Large Cardinals
We introduce the concept of virtual large cardinals and apply it to obtain a hierarchy of new large cardinal notions between ineffable cardinals and 0#. Given a large cardinal notion A characterized by the existence of elementary embeddings j : Vα → Vβ satisfying some list of properties, we say that a cardinal is virtually A if the embeddings j : V V α → V V β exist in the generic multiverse of...
متن کاملConvertible limited (multi-) verifier signature: new constructions and applications
A convertible limited (multi-) verifier signature (CL(M)VS) provides controlled verifiability and preserves the privacy of the signer. Furthermore, limited verifier(s) can designate the signature to a third party or convert it into a publicly verifiable signature upon necessity. In this proposal, we first present a generic construction of convertible limited verifier signature (CLVS) into which...
متن کاملOn Elementary Embeddings from An Inner Model to The Universe
We consider the following question of Kunen: Does Con(ZFC + ∃M a transitive inner model and a non-trivial elementary embedding j : M −→ V ) imply Con(ZFC + ∃ a measurable cardinal)? We use core model theory to investigate consequences of the existence of such a j : M → V . We prove, amongst other things, the existence of such an embedding implies that the core model K is a model of “there exist...
متن کاملGeneric Vopěnka's Principle, remarkable cardinals, and the weak Proper Forcing Axiom
We introduce and study the first-order Generic Vopěnka’s Principle, which states that for every definable proper class of structures C of the same type, there exist B 6= A in C such that B elementarily embeds into A in some set-forcing extension. We show that, for n ≥ 1, the Generic Vopěnka’s Principle fragment for Πn-definable classes is equiconsistent with a proper class of n-remarkable cardi...
متن کاملEffect generic and non-generic feedback on Motor Learning basketball free throw in Children
Non-generic feedback refers to a specific event and that task performance is the reason to the acquisition of skills and implies that performance is malleable, while generic feedback implies that task performance reflects an inherent ability. The Goal of this study was to determine the generic and non-generic feedback effects on children’s motor learning basketball free throw. This research was...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017